G. Snelting: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Paul Feyerabend and software technology

Gregor Snelting

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 138 KB

english, 1998

2

Paul Feyerabend und die Softwaretechnologie

Gregor Snelting

Journal:

Informatik-Spektrum

Year:

1998

Language:

german

File:

PDF, 161 KB

german, 1998

3

Introduction to Milestones in Interactive Theorem Proving

Avigad, Jeremy, Blanchette, Jasmin Christian, Klein, Gerwin, Paulson, Lawrence, Popescu, Andrei, Snelting, Gregor

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 373 KB

english, 2018

4

Enzyme-immunoassay in the diagnosis of hepatitis with emphasis on the detection of “e” antigen (HBeAg)

M. v. d. Waart, A. Snelting, J. Cichy, G. Wolters, A. Schuurs

Journal:

Journal of Medical Virology

Year:

1978

Language:

english

File:

PDF, 384 KB

english, 1978

5

Feyerabend – zwei Jahre später

Gregor Snelting

Journal:

Informatik-Spektrum

Year:

2001

Language:

german

File:

PDF, 64 KB

german, 2001

6

The PSG system: from formal language definitions to interactive programming environments

Bahlke, Rolf, Snelting, Gregor

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1986

Language:

english

File:

PDF, 2.24 MB

english, 1986

7

[ACM Press the third ACM SIGPLAN workshop - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08 - Static path conditions for Java

Hammer, Christian, Schaade, Rüdiger, Snelting, Gregor

Year:

2008

Language:

english

File:

PDF, 272 KB

english, 2008

8

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - An operational semantics and type safety prooffor multiple inheritance in C++

Wasserrab, Daniel, Nipkow, Tobias, Snelting, Gregor, Tip, Frank

Year:

2006

Language:

english

File:

PDF, 1.75 MB

english, 2006

9

[ACM Press the 6th ACM SIGSOFT international symposium - Lake Buena Vista, Florida, United States (1998.11.01-1998.11.05)] Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6 - Reengineering class hierarchies using concept analysis

Snelting, Gregor, Tip, Frank

Year:

1998

Language:

english

File:

PDF, 1.25 MB

english, 1998

10

Programming environments

Klint, Paul, Reps, Thomas, Snelting, Gregor

Journal:

ACM SIGPLAN Notices

Year:

1992

File:

PDF, 606 KB

1992

11

Comparative interactomics analysis of different ALS-associated proteins identifies converging molecular pathways

Blokhuis, Anna M., Koppers, Max, Groen, Ewout J. N., van den Heuvel, Dianne M. A., Dini Modigliani, Stefano, Anink, Jasper J., Fumoto, Katsumi, van Diggelen, Femke, Snelting, Anne, Sodaar, Peter, Verh

Journal:

Acta Neuropathologica

Year:

2016

Language:

english

File:

PDF, 5.90 MB

english, 2016

12

Reengineering class hierarchies using concept analysis

Snelting, Gregor, Tip, Frank

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.25 MB

english, 1998

13

Design and structure of a semantics-based programming environment

R. Bahlke, G. Snelting

Journal:

International Journal of Man-Machine Studies

Year:

1992

Language:

english

File:

PDF, 1.34 MB

english, 1992

14

Validation of measurement software as an application of slicing and constraint solving

Jens Krinke, Gregor Snelting

Journal:

Information and Software Technology

Year:

1998

Language:

english

File:

PDF, 1.35 MB

english, 1998

15

The hepatitis B-related ‘e’ antigen-antibody system as measured by enzyme-immunoassay

M. Waart, A. Snelting, J. Cichy, P. Niermeijer, C. H. Gips, J. R. Huizenga, A. Schuurs

Journal:

Antonie van Leeuwenhoek

Year:

1978

Language:

english

File:

PDF, 139 KB

english, 1978

16

The calculus of context relations

Gregor Snelting

Journal:

Acta Informatica

Year:

1991

Language:

english

File:

PDF, 2.06 MB

english, 1991

17

Wissenschaftspolitische Herausforderungen für die Informatik

Gregor Snelting

Journal:

Informatik-Spektrum

Year:

2008

Language:

german

File:

PDF, 169 KB

german, 2008

18

Software-Sicherheitsprüfung mit VALSOFT

Jens Krinke, Torsten Robschink, Gregor Snelting

Journal:

Computer Science - Research and Development

Year:

1999

File:

PDF, 195 KB

1999

19

Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs

Christian Hammer, Gregor Snelting

Journal:

International Journal of Information Security

Year:

2009

Language:

english

File:

PDF, 1.32 MB

english, 2009

20

Das Modell des Bundesfinanzministeriums für eine neue Schuldenregel

Christian Kastrop, Martin Snelting

Journal:

Wirtschaftsdienst

Year:

2008

Language:

german

File:

PDF, 401 KB

german, 2008

21

On temporal path conditions in dependence graphs

Andreas Lochbihler, Gregor Snelting

Journal:

Automated Software Engineering

Year:

2009

Language:

english

File:

PDF, 776 KB

english, 2009

22

Increasing short-chain fatty acid yield during lipase hydrolysis of a butterfat fraction with periodic aqueous extraction

Robert W. Lencki, Natasja Smink, Heleen Snelting, Joseph Arul

Journal:

Journal of the American Oil Chemists' Society

Year:

1998

Language:

english

File:

PDF, 486 KB

english, 1998

23

Increasing short-chain fatty acid yield during lipase hydrolysis of a butterfat fraction with periodic aqueous extraction

Robert W. Lencki, Natasja Smink, Heleen Snelting, Joseph Arul

Journal:

Journal of the American Oil Chemists' Society

Year:

1998

Language:

english

File:

PDF, 484 KB

english, 1998

24

Comparison of enzyme-labelled F(ab')2 and IgG conjugates in an enzyme-immunoassay for hepatitis B ‘e’ antigen

M. Van Der Waart, A. Snelting, F. Bruijnis, M. Prins-Bekius, E. Bos, J. Katchaki, A. Schuurs

Journal:

Journal of Virological Methods

Year:

1980

Language:

english

File:

PDF, 842 KB

english, 1980

25

Preliminary results of transmission experiments of non-A, non-B hepatitis by mononuclear leucocytes from a chronic patient

J.A. Hellings, J. Van Der Veen-Du Prie, R. Snelting-Van Densen, R. Stute

Journal:

Journal of Virological Methods

Year:

1985

Language:

english

File:

PDF, 372 KB

english, 1985

26

Understanding probabilistic software leaks

Snelting, Gregor

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 309 KB

english, 2015

27

Efficient path conditions in dependence graphs for software safety analysis

Snelting, Gregor, Robschink, Torsten, Krinke, Jens

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2006

Language:

english

File:

PDF, 588 KB

english, 2006

28

[IEEE Comput. Soc. Press [1993] Advances in Software Reuse - Lucca, Italy (24-26 March 1993)] [1993] Proceedings Advances in Software Reuse - Polymorphic components for monomorphic languages

Grosch, F.-J., Snelting, G.

Year:

1993

Language:

english

File:

PDF, 832 KB

english, 1993

29

Understanding class hierarchies using concept analysis

Snelting, Gregor, Tip, Frank

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 424 KB

english, 2000

30

[IEEE Comput. Soc. Press 16th International Conference on Software Engineering - Sorrento, Italy (16-21 May 1994)] Proceedings of 16th International Conference on Software Engineering - On the inference of configuration structures from source code

Krone, M., Snelting, G.

Year:

1994

Language:

english

File:

PDF, 737 KB

english, 1994

31

[IEEE Comput. Soc Fourth European Conference on Software Maintenance and Reengineering - Zurich, Switzerland (29 Feb.-3 March 2000)] Proceedings of the Fourth European Conference on Software Maintenance and Reengineering - Software reengineering based on concept lattices

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

32

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - On Temporal Path Conditions in Dependence Graphs

Lochbihler, Andreas, Snelting, Gregor

Year:

2007

Language:

english

File:

PDF, 289 KB

english, 2007

33

A new algorithm for low-deterministic security

Giffhorn, Dennis, Snelting, Gregor

Journal:

International Journal of Information Security

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

34

The PSG - Programming System Generator

Bahlke, Rolf, Snelting, Gregor

Journal:

ACM SIGPLAN Notices

Year:

1985

Language:

english

File:

PDF, 418 KB

english, 1985

35

[ACM Press the ACM SIGPLAN Fourth Workshop - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 - On PDG-based noninterference and its modular proof

Wasserrab, Daniel, Lohner, Denis, Snelting, Gregor

Year:

2009

Language:

english

File:

PDF, 280 KB

english, 2009

36

[ACM Press the third ACM SIGPLAN X10 Workshop - Seattle, Washington (2013.06.20-2013.06.20)] Proceedings of the third ACM SIGPLAN X10 Workshop on - X10 '13 - Invasive computing in HPC with X10

Bungartz, Hans-Joachim, Riesinger, Christoph, Schreiber, Martin, Snelting, Gregor, Zwinkau, Andreas

Year:

2013

Language:

english

File:

PDF, 594 KB

english, 2013

37

Passage of low density lipoproteins through monolayers of human arterial endothelial cells. Effects of vasoactive substances in an in vitro model

Langeler, E. G., Snelting-Havinga, I., van Hinsbergh, V. W.

Journal:

Arteriosclerosis Thrombosis and Vascular Biology

Year:

1989

Language:

english

File:

PDF, 2.23 MB

english, 1989

38

Software Security in Virtualized Infrastructures — The Smart Meter Example

Beckert, Bernhard, Hofheinz, Dennis, Müller-Quade, Jörn, Pretschner, Alexander, Snelting, Gregor

Journal:

it - Information Technology

Year:

2011

Language:

english

File:

PDF, 664 KB

english, 2011

39

[Informatik aktuell] Informatik 2000 || Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung

Mehlhorn, Kurt, Snelting, Gregor

Year:

2000

Language:

german

File:

PDF, 2.16 MB

german, 2000

40

Checking probabilistic noninterference using JOANA

Snelting, Gregor, Giffhorn, Dennis, Graf, Jürgen, Hammer, Christian, Hecker, Martin, Mohr, Martin, Wasserrab, Daniel

Journal:

it - Information Technology

Year:

2014

Language:

english

File:

PDF, 759 KB

english, 2014

41

Informatik ist Cool?!

Snelting, Gregor

Journal:

it - Information Technology

Year:

2009

Language:

german

File:

PDF, 209 KB

german, 2009

42

Reengineering of configurations based on mathematical concept analysis

Snelting, Gregor

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1996

Language:

english

File:

PDF, 2.57 MB

english, 1996

43

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - Efficient path conditions in dependence graphs

Robschink, Torsten, Snelting, Gregor

Year:

2002

Language:

english

File:

PDF, 1.13 MB

english, 2002

44

Refactoring class hierarchies with KABA

Streckenbach, Mirko, Snelting, Gregor

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 362 KB

english, 2004

45

[ACM Press the 1998 ACM SIGPLAN-SIGSOFT workshop - Montreal, Quebec, Canada (1998.06.16-1998.06.16)] Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '98 - Concept analysis---a new framework for program understanding

Snelting, Gregor

Year:

1998

Language:

english

File:

PDF, 1013 KB

english, 1998

46

[ACM Press the 14th International Workshop - St. Goar, Germany (2011.06.27-2011.06.28)] Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems - SCOPES '11 - Resource-aware programming and simulation of MPSoC architectures through extension of X10

Hannig, Frank, Roloff, Sascha, Snelting, Gregor, Teich, Jürgen, Zwinkau, Andreas

Year:

2011

Language:

english

File:

PDF, 514 KB

english, 2011

47

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - CAP

Heisswolf, Jan, Becker, Jürgen, Zaib, Aurang, Zwinkau, Andreas, Kobbe, Sebastian, Weichslgartner, Andreas, Teich, Jürgen, Henkel, Jörg, Snelting, Gregor, Herkersdorf, Andreas

Year:

2014

Language:

english

File:

PDF, 259 KB

english, 2014

48

Unified versioning through feature logic

Zeller, Andreas, Snelting, Gregor

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1997

Language:

english

File:

PDF, 683 KB

english, 1997

49

[ACM Press the ACM SIGPLAN 85 symposium - Seattle, Washington, United States (1985.06.25-1985.06.28)] Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments - - The PSG - Programming System Generator

Bahlke, Rolf, Snelting, Gregor

Year:

1985

Language:

english

File:

PDF, 418 KB

english, 1985

50

[ACM Press the ACM-SIGPLAN-SIGSOFT workshop - Washington DC, USA (2004.06.07-2004.06.08)] Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '04 - An improved slicer for Java

Hammer, Christian, Snelting, Gregor

Year:

2004

Language:

english

File:

PDF, 176 KB

english, 2004